Refining multiset transformers

From Gamma to CBS: Refining Multiset Transformations with Broadcasting Processes

This paper presents a novel approach to the problem of implementing programs in Gamma, a computation model of chemical-reaction-like multiset transformations, by translating them into a process calculus with broadcasting communication, CBS. The concurrent message reception of broadcasting communication ts very naturally to the implicit parallelism of the Gamma model: A value that may trigger re...

Multiset rewriting by multiset onstraint solving

Monad Transformers as Monoid Transformers

The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of this approach is that the operations associated to the pre-existing monad need to be lifted to the new monad. In a companion paper by Jaskelioff, the lifting problem has been addressed in the setting of system Fω. Her...

Properties of Multiset Language Classes Defined by Multiset Storage Automata

The previously introduced multiset language classes defined by multiset storage automata are being explored with respect to their closure properties and alternative characterizations.

Constraint Multiset